三神问题

薛饿这期的主题其实是布洛斯谜题，或称三神谜题，其原问题描述如下：
有三位神明，分别为 A，B，C。已知他们之中一位只说真话，一位只说假话，另一位随机说真话或假话。为了确定他们的身份，你可以向他们提问 3 个是非题，且一次只能提问其中一位。他们听得懂你的语言，但是他们只会用他们语言回答你，即“da”或者“ja”，而你不知道这两个字分别代表对或者错。
这个问题来自于 George Boolos 在 The Harvard Review of Philosophy 上发表的文章《The Hardest Logic Puzzle Ever》。实际上在原论文中它有一些非常严谨的条件，例如：
允许一位神被问到了不止一个问题；
下一个问题的内容和向哪位神可以依赖于上个问题的答案（即可以根据第一个问题的答案再决定向哪位神问第二个问题、第二个问题的内容是什么）；
可以认为随机神脑子里有一枚（理想的）硬币，任性神在回答问题之前会先在脑中掷币，然后根据掷币结果决定自己是给出与真实情况相同的回答、还是给出与真实情况相反的回答；
当被问及是非问题时，随机神将回答 da 或者 ja。
大家有兴趣的话可以去看看原论文，很有意思，而且肯定会很有收获。